Diclib.com
ChatGPT AI Dictionary

Dictionary Lookup Custom Solutions

Enter a word or phrase in any language 👆

Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

how the word is used
frequency of use
it is used more often in oral or written speech
word translation options
usage examples (several phrases with translation)
etymology

etale homotopy - translation to russian

SMOOTH SCHEME MORPHISM OF RELATIVE DIMENSION 0

Etale morphism; Étale map; Étale covering; Etale morphisms; Etale covering; Etale map

etale homotopy

математика

этальная гомотопия

etale topology

GROTHENDIECK TOPOLOGY ON THE CATEGORY OF SCHEMES, WHOSE COVERING FAMILIES ARE JOINTLY SURJECTIVE FAMILIES OF ÉTALE MORPHISMS

Etale topology; Étale sheaf

математика

этальная топология

etale covering

математика

накрывающее покрытие

Definition

Haskell

<language> (Named after the logician Haskell Curry) A lazy purely functional language largely derived from Miranda but with several extensions. Haskell was designed by a committee from the functional programming community in April 1990. It features static polymorphic typing, {higher-order functions}, user-defined algebraic data types, and pattern-matching list comprehensions. Innovations include a class system, systematic operator overloading, a functional I/O system, functional arrays, and {separate compilation}. Haskell 1.3 added many new features, including monadic I/O, standard libraries, constructor classes, labeled fields in datatypes, strictness annotations, an improved module system, and many changes to the Prelude. Gofer is a cut-down version of Haskell with some extra features. Filename extension: .hs, .lhs (literate programming). http://haskell.org/. ["Report on the Programming Language Haskell Version 1.1", Paul Hudak & P. Wadler eds, CS Depts, U Glasgow and Yale U., Aug 1991]. [Version 1.2: SIGPLAN Notices 27(5), Apr 1992]. {Haskell 1.3 Report (http://haskell.cs.yale.edu/haskell-report/haskell-report.html)}. Mailing list: <haskell-request@cs.yale.edu>. Yale Haskell - Version 2.0.6, Haskell 1.2 built on {Common Lisp}. ftp://nebula.cs.yale.edu/pub/haskell/yale/. Glasgow Haskell (GHC) - Version 2.04 for DEC Alpha/OSF2; HPPA1.1/HPUX9,10; SPARC/SunOs 4, Solaris 2; MIPS/Irix 5,6; Intel 80386/Linux,Solaris 2,FreeBSD,CygWin 32; PowerPC/AIX. GHC generates C or native code. ftp://ftp.dcs.glasgow.ac.uk/pub/haskell/glasgow/. E-mail: <glasgow-haskell-request@dcs.glasgow.ac.uk>. Haskell-B - Haskell 1.2 implemented in LML, generates native code. ftp://ftp.cs.chalmers.se/pub/haskell/chalmers/. E-mail: <hbc@cs.chalmers.se>. (1997-06-06)

Show more definitions

Wikipedia

Étale morphism

In algebraic geometry, an étale morphism (French: [etal]) is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.

The word étale is a French adjective, which means "slack", as in "slack tide", or, figuratively, calm, immobile, something left to settle.

https://en.wikipedia.org/wiki/Étale morphism

What is the Russian for etale homotopy? Translation of &#39etale homotopy&#39 to Russian